Advances in Control Theory and Applications
This volume is the outcome of the first CASY workshop on "Advances in Control Theory and Applications" which was held at ...
Weiterlesen
Advances in Verification of Time Petri Nets and Timed Automata
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the ...
Weiterlesen
Agent Communication
In this book, we present a collection of papers around the topic of agent com- nication. The communication between agents ...
Weiterlesen
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Weiterlesen
Algebra and Coalgebra in Computer Science
Addressing two basic areas of application for algebras and coalgebras - as mathematical objects as well as in the context ...
Weiterlesen
Application and Theory of Petri Nets 2002
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...
Weiterlesen
Applications and Theory of Petri Nets 2005
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
Weiterlesen
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
Weiterlesen
Artificial Immune Systems (vol. # 3627)
Your immune system is unique. It is in many ways as complex as your brain, butit is not centred in one location, like the ...
Weiterlesen
Artificial Intelligence Applications and Innovations II
Artificial Intelligence is one of the oldest and most exciting subfields of computing, covnering such areas as intelligent ...
Weiterlesen
Automated Technology for Verification and Analysis
The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding ...
Weiterlesen
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
Automated Technology for Verification and Analysis
This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...
Weiterlesen
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008. Proceedings
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification ...
Weiterlesen
CONCUR 2005 - Concurrency Theory
This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...
Weiterlesen
Cognitive Engineering
Cognitive Engineering: A Distributed Approach to Machine Intelligence explores the design issues of intelligent engineering ...
Weiterlesen
Computational Intelligence for Modelling and Prediction
This book contains recent advances in Computational Intelligence methods for modeling, optimization and prediction and covers ...
Weiterlesen
Computational Methods in Systems Biology
This book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
Weiterlesen
Computational Methods in Systems Biology
This book presented present a variety of techniques from computer science, such as language design, concurrency theory, software ...
Weiterlesen
Computer Aided Verification (vol. # 3576)
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, ...
Weiterlesen
